XLIII. On division-remainders in arithmetic

Nonhomogeneity of Remainders, Ii

We present an example of a separable metrizable topological group G having the property that no remainder of it is (topologically) homogeneous. 1. Introduction. All topological spaces under discussion are Tychonoff. A space X is homogeneous if for any two points x, y ∈ X there is a homeomorphism h from X onto itself such that h(x) = y. If bX is a com-pactification of a space X, then bX \ X is c...

On Compactifications with Path Connected Remainders

We prove that every separable and metrizable space admits a metrizable compactification with a remainder that is both path connected and locally path connected. This result answers a question of P. Simon. Connectedness and compactness are two fundamental topological properties. A natural question is whether a given space admits a connected (Hausdorff) compactification. This question has been st...

Signed-Digit Division Using Combinational Arithmetic Nets

Mechanizing Verification of Arithmetic Circuits: SRT Division

The use of a rewrite-based theorem prover for verifying properties of arithmetic circuits is discussed. A prover such as Rewrite Rule Laboratory (RRL) can be used eeectively for establishing number-theoretic properties of adders, multipliers and dividers. Since veriication of adders and multipliers has been discussed elsewhere in earlier papers, the focus in this paper is on a divider circuit. ...

A remark on Remainders of homogeneous spaces in some compactifications

‎We prove that a remainder $Y$ of a non-locally compact‎ ‎rectifiable space $X$ is locally a $p$-space if and only if‎ ‎either $X$ is a Lindel"{o}f $p$-space or $X$ is $sigma$-compact‎, ‎which improves two results by Arhangel'skii‎. ‎We also show that if a non-locally compact‎ ‎rectifiable space $X$ that is locally paracompact has a remainder $Y$ which has locally a $G_{delta}$-diagonal‎, ‎then...